Search Results

---

Abstract

---

Cite as

Technical Communications of the 32nd International Conference on Logic Programming (ICLP 2016). Open Access Series in Informatics (OASIcs), Volume 52, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2016)

---

Copy BibTex To Clipboard

@Proceedings{carro_et_al:OASIcs.ICLP.2016,
  title =	{{OASIcs, Volume 52, ICLP'16, Complete Volume}},
  booktitle =	{Technical Communications of the 32nd International Conference on Logic Programming (ICLP 2016)},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-95977-007-1},
  ISSN =	{2190-6807},
  year =	{2016},
  volume =	{52},
  editor =	{Carro, Manuel and King, Andy and Saeedloei, Neda and De Vos, Marina},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.ICLP.2016},
  URN =		{urn:nbn:de:0030-drops-67654},
  doi =		{10.4230/OASIcs.ICLP.2016},
  annote =	{Keywords: Programming, Formal Definitions and Theory, Language Clasifications, Language Constructs and Features, Models of Computation, Semantics of Programming Languages, Mathematical Logic, Grammars and Other Rewriting Systems, Database Administration, Data Mining, Applications and Expert Systems,}
}

@Proceedings{carro_et_al:OASIcs.ICLP.2016, title = {{OASIcs, Volume 52, ICLP'16, Complete Volume}}, booktitle = {Technical Communications of the 32nd International Conference on Logic Programming (ICLP 2016)}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-007-1}, ISSN = {2190-6807}, year = {2016}, volume = {52}, editor = {Carro, Manuel and King, Andy and Saeedloei, Neda and De Vos, Marina}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.ICLP.2016}, URN = {urn:nbn:de:0030-drops-67654}, doi = {10.4230/OASIcs.ICLP.2016}, annote = {Keywords: Programming, Formal Definitions and Theory, Language Clasifications, Language Constructs and Features, Models of Computation, Semantics of Programming Languages, Mathematical Logic, Grammars and Other Rewriting Systems, Database Administration, Data Mining, Applications and Expert Systems,} }

---

Abstract

---

Cite as

Technical Communications of the 32nd International Conference on Logic Programming (ICLP 2016). Open Access Series in Informatics (OASIcs), Volume 52, pp. 0:i-0:xvi, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2016)

---

Copy BibTex To Clipboard

@InProceedings{carro_et_al:OASIcs.ICLP.2016.0,
  author =	{Carro, Manuel and King, Andy and Saeedloei, Neda and De Vos, Marina},
  title =	{{Front Matter, Table of Contents, Preface, List of Authors}},
  booktitle =	{Technical Communications of the 32nd International Conference on Logic Programming (ICLP 2016)},
  pages =	{0:i--0:xvi},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-95977-007-1},
  ISSN =	{2190-6807},
  year =	{2016},
  volume =	{52},
  editor =	{Carro, Manuel and King, Andy and Saeedloei, Neda and De Vos, Marina},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.ICLP.2016.0},
  URN =		{urn:nbn:de:0030-drops-67538},
  doi =		{10.4230/OASIcs.ICLP.2016.0},
  annote =	{Keywords: Front Matter, Table of Contents, Preface, List of Authors}
}

@InProceedings{carro_et_al:OASIcs.ICLP.2016.0, author = {Carro, Manuel and King, Andy and Saeedloei, Neda and De Vos, Marina}, title = {{Front Matter, Table of Contents, Preface, List of Authors}}, booktitle = {Technical Communications of the 32nd International Conference on Logic Programming (ICLP 2016)}, pages = {0:i--0:xvi}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-007-1}, ISSN = {2190-6807}, year = {2016}, volume = {52}, editor = {Carro, Manuel and King, Andy and Saeedloei, Neda and De Vos, Marina}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.ICLP.2016.0}, URN = {urn:nbn:de:0030-drops-67538}, doi = {10.4230/OASIcs.ICLP.2016.0}, annote = {Keywords: Front Matter, Table of Contents, Preface, List of Authors} }